On Tableau Constru tions for Timing Diagrams

New Constru tions for Resilient and Highly

Cover - Free Families and Superimposed Codes : Constru tions ,

Constru tions of Codes from Number Fields

Constru tions of the Golay Codes: A Survey

Tableaux for Diagrammatic Reasoning

Diagrammatic notations, such as the Unified Modeling Language (UML), are in common use in software development. They allow many aspects of software systems to be described diagrammatically, but typically they rely on textual notations for logical constraints. In contrast, spider diagrams provide a visual notation for expressing a natural class of settheoretic statements in a diagrammatic form. ...